Nuprl Definition : bxor
9,38
postcript
pdf
p
b
q
== (
p
(
q
))
((
p
)
q
)
latex
Definitions
p
q
,
p
q
,
b
FDL editor aliases
bxor
origin
b q == (p 
(
q)) 
((p) q) b q == (p (q)) ((p) q) q qb